Publications Recentes et Theses Soutenues

Publications and Theses on Antarctic and Sub-antarctic Birds, 1999

Publications Du Groupe « Vérification Et Méthodes Formelles »

titative model-checking of one-clock timed automata under probabilistic semantics. [4] Bernard Boigelot and Julien Brusten. A generalization of cobham's theorem to automata over real numbers.

The system SK CRIS, scientific publications and theses - mirror of Slovak science

The Slovak Current Research Information System (SK CRIS) as a part of the Central Information Portal for Research, Development and Innovation (CIP RDI) has the status of Information system of public administration, defined by the Act 275/2006 on information systems of public administration. The Slovak Centre of Scientific and Technical Information (SCSTI) is responsible for operating, maintaini...

Topics for PhD Theses and Master Theses

So far, spatial databases have mainly dealt with the management of two-dimensional geometric data. This has turned out to be sufficient for many spatial applications. But on the other hand, our world is three-dimensional. In this project, first, possible applications are investigated that require or would greatly benefit from a treatment of three-dimensional data and operations. This study shou...

Publications Du Service Opera-photonique (anciennement Service D'optique Et Acoustique)

A decade of measuring ultrashort pulses. Induced modulation instability and recurrence in nematic liquid crystals. Impact of nonlocal interactions in dissipative systems : Towards minimal-sized localized structures. Tailoring the phase-matching function for ultrashort pulse characterization by spectral shearing interferometry.sar. Photon pair source based on parametric fluorescence in periodica...